Atom2Deq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$\lambda$$a$,$b$. eq\_atom2($a$;$b$)$,\,$TERMOF\{atom2{-}deq{-}aux:ObjectId, 1:l\}$\rangle$